.. comment: generated by t_assert_comp_bad
.. code-block:: sv

         $fatal(0, "User elaboration-time fatal");
